3941. Recent trends in algebraic development techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
Author: Jose Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
L28
Vol
.
3423
3942. Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Chateau de Bonas, September 15-18, 1999 : selected papers
Author: Didier Bert, Christine Choppy, Peter Mosses )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
L28
Vol
.
1827
3943. Recent trends in algebraic development techniques : 13th International Workshop, WADT'98, Lisbon, Portugal, April 2-4, 1998: selected papers
Author: Jose Luiz Fiadeiro )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
L28
Vol
.
1589
3944. Recent trends in algebraic development techniques : 12th International Workshop, WADT'97, Tarquinia, Italy, June 3-7, 1997 : selected papers
Author: Francesco Parisi Presicce, )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
L28
Vol
.
1376
3945. Recent trends in algebraic development techniques : 15th international Workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers
Author: Maura Cerioli, Gianna Reggio )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Abstract data types )Computer science(,Congresses ، Computer science -- Mathematics,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
2267
3946. Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers
Author: Martin Wirsing, Dirk Pattinson, Rolf Hennicker )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
L28
Vol
.
2755
3947. Recent trends in algebraic development techniques: 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001: selected papers
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer software-- Development,Congresses ، Computer science-- Mathematics,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
76
.
D47
.
W33
2001
3948. Rechnen in der Chemie :
Author: von Walter Wittenberger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chemistry -- Mathematics.,Computer science.,Mathematics.
Classification :
QD42
.
V669
1971
3949. Reconsidering conceptual change :
Author: edited by Margarita Limón and Lucia Mason.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cognition in children.,Concept learning.,Learning, Psychology of.,Cognition in children.,Concept learning.,EDUCATION-- Educational Psychology.,Learning, Psychology of.
Classification :
LB1062
.
R42
2002eb
3950. Recurrence Relations for the Moments of Order Statistics from The Beta Exponential-Geometric Distribution
Author: Ali Jaleel Najm,Jaleel Najm,
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: beta exponential-geometric distribution, single and product moments, order statistics.,توزیع بتا نمایی-هندسی، گشتاورهای اصلی و حاصلضربی، آماره مرتب.
3951. Recursive function theory and logic
Author: Yasuhara, Ann.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Recursive functions,، Logic, Symbolic and mathematical
Classification :
QA
248
.
5
.
Y36
3952. Recursive function theory and logic
Author: Ann Yasuhara
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursive functions,، Logic, Symbolic and mathematical
Classification :
QA
248
.
5
.
Y38
3953. Reference data for engineers :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Electronics.,Telecommunication.,Computer engineering.,Electronics.,TECHNOLOGY & ENGINEERING-- Electrical.,Telecommunication.
Classification :
TK6552
.
F4
2002eb
3954. Regional Conference on Science, Technology and Social Sciences (RCSTSS 2016) :
Author: Nor Azizah Yacob [and four others] editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Science, Congresses.,Technology, Congresses.,SCIENCE-- Essays.,SCIENCE-- Reference.,Science.,Technology.
Classification :
Q101
3955. Regular figures
Author: L. Fejes Tóth.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Decoration and ornament.,Symmetry.,Topology.,Transformations (Mathematics)
3956. Relational Mathematics
Author: / Schmidt, Gunther
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
Classification :
E-BOOK
3957. Relational and Algebraic Methods in Computer Science
Author: \ Wolfram Kahl , Michael Winter, José N. Oliveira (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Algebraic logic -- Congresses.,Relation algebras -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها ,منطق جبری -- کنگره ها
Classification :
QA
76
.
9
.
M35R4
2015
E-Book
,
3958. Relational and algebraic methods in computer science :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;
3959. Relational and algebraic methods in computer science :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;
3960. Relational and algebraic methods in computer science :
Author: Jules Desharnais, Walter Guttmann, Stef Joosten (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebraic logic, Congresses.,Computer science-- Mathematics, Congresses.,Relation algebras, Congresses.,Algebraic logic.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Relation algebras.
Classification :
QA76
.
9
.
M35
